On the logic of theory change: wr contraction without recovery

The postulate of Recovery, among the six postulates for theory contraction, formulated and studied by Alchourrón, Gardenfors and Makinson [AM82, AGM85, AM85, Mak87, Gar88] has been the one that more controversies provoked [Mak87, HAN91, see]. There are clearly cases in wich the recovery postulate seems to be contrary to intution.Eje: 2do. Workshop sobre aspectos teóricos de la inteligencia artificialRed de Universidades con Carreras en Informática (RedUNCI

On the logic of theory change: contraction without recovery

The postulate of Recovery, among the six postulates for theory contraction, formulated and studied by Alchourron, G ´ ardenfors and Makinson is the one that has provoked most controversy. ¨ In this article we construct withdrawal functions that do not satisfy Recovery, but try to preserve minimal change, and relate these withdrawal functions with the AGM contraction functions.info:eu-repo/semantics/publishedVersio

Iterated belief change: the case of expansion into inconsistency

Constructing models that allow iterated changes is one of the most studied problems in the literature on belief change. However, up to now, iteration of expansion was only studied as a special case of consistent revision and, as far we know, there is no work in the literature that deals with expansions into inconsistency in a supraclassical framework. In this paper, we provide a semantics for iterated expansion, as well as its axiomatic characterization. We extend the model to two well-known families of iterated belief change (natural and lexicographic). Iteration of expansion can be combined with existent models of iteration of revision and contraction. Since we are able to accommodate different inconsistent belief states, iteration of expansion allows us to define new belief change functions that are currently only defined for belief bases: semi revision, external revision, as well as consolidation.info:eu-repo/semantics/publishedVersio

Using decision theory for analyzing enrollment in a scientific study in the health area

This article explores the current literature about the factors that lead people to enroll in a scientific study in the area of health. Recruitment of participants has been shown to be a problem with the number of participants willing to participate decreasing widely. For this reason, it is important to understand how and why people make the decision to participate in a scientific study, in order to develop mechanisms that counteract this tendency. For that purpose, a review of current literature was conducted and the evidence was related with decision theory. The goal is to understand how the decision process to participate in a study occurs and which actions can be taken to maximize the recruitment process.info:eu-repo/semantics/publishedVersio

AGM 25 years: twenty-five years of research in belief change

The 1985 paper by Carlos Alchourrón (1931–1996), Peter Gärdenfors, and David Makinson (AGM), “On the Logic of Theory Change: Partial Meet Contraction and Revision Functions” was the starting-point of a large and rapidly growing literature that employs formal models in the investigation of changes in belief states and databases. In this review, the first twenty five years of this development are summarized. The topics covered include equivalent characterizations of AGM operations, extended representations of the belief states, change operators not included in the original framework, iterated change, applications of the model, its connections with other formal frameworks, computatibility of AGM operations, and criticism of the model.info:eu-repo/semantics/publishedVersio

Editorial introduction—25 years of AGM theory

info:eu-repo/semantics/publishedVersio

Introduction to the special issue on belief revision, argumentation, ontologies, and norms

info:eu-repo/semantics/publishedVersio

Credibility-limited base revision: new classes and their characterizations

In this paper we study a kind of operator —known as credibility-limited base revisions— which addresses two of the main issues that have been pointed out to the AGM model of belief change. Indeed, on the one hand, these operators are defined on belief bases (rather than belief sets) and, on the other hand, they are constructed with the underlying idea that not all new information is accepted. We propose twenty different classes of credibility limited base revision operators and obtain axiomatic characterizations for each of them. Additionally we thoroughly investigate the interrelations (in the sense of inclusion) among all those classes. More precisely, we analyse whether each one of those classes is or is not (strictly) contained in each of the remaining ones.info:eu-repo/semantics/publishedVersio

Revisión de creencias

En el presente artículo presentamos la teoría de cambio de creencias AGM: sus orígenes, su axiomática, su semántica y diferentes métodos para construir funciones de cambio. Mostramos la relación entre el modelo AGM y la lógica condicional.info:eu-repo/semantics/publishedVersio